例句與造句

1. :I suppose you can express the constraints in Linear temporal logic.
2. Property specifications are often written as Linear Temporal Logic ( LTL ) expressions.
3. The most notable ones are based on linear temporal logic and event calculus.
4. For example, a description logic might be combined with a modal temporal logic such as Linear temporal logic.
5. Two early contenders in formal verifications were Linear Temporal Logic ( a linear time logic by Amir Pnueli ) and E . A . Emerson.
6. It's difficult to find linear temporal logic in a sentence. 用linear temporal logic造句挺難的
7. Many temporal logics can be encoded in the ?-calculus, including CTL * and its widely used fragments & mdash; linear temporal logic and computational tree logic.
8. The properties to be verified are often described in temporal logics, such as linear temporal logic ( LTL ), Property Specification Language ( PSL ), SystemVerilog Assertions ( SVA ), or computational tree logic ( CTL ).
9. They can also be characterized logically as languages definable in FO [ < ], the first-order logic over the natural numbers with the less-than relation, as the counter-free languages and as languages definable in linear temporal logic.
10. To alleviate this problem, linear temporal logic is usually used in conjunction with the semi-decision technique to find if indeed a state can be reached, by finding a set of necessary conditions for the state to be reached then proving that those conditions cannot be satisfied.
11. In addition to always, other constructs based on linear temporal logic are also supported, such as sometime ( at least once during the plan ), sometime-after ( to be planned after a particular state ) and at-most-once ( the preference holds during at most one sequence of states in the plan ).